(0 20 6)(1 18 3)(2 10 8)(4 12 7)(5 15 9)(11 16 13)(14 19 17)
ALLOWS (11/8)-SEQUENCE
1: (6 9 20)
(0 20 5 15 9)(1 18 3)(2 10 8)(4 12 7)(6)(11 16 13)(14 19 17)
2: (2 10 8)
(0 20 5 15 9)(1 18 3)(2)(4 12 7)(6)(8)(10)(11 16 13)(14 19 17)
3: (0 15 9)
(0)(1 18 3)(2)(4 12 7)(5 15 20)(6)(8)(9)(10)(11 16 13)(14 19 17)
4: (1 18 3)
(0)(1)(2)(3)(4 12 7)(5 15 20)(6)(8)(9)(10)(11 16 13)(14 19 17)(18)